Nuprl Definition : fpf-vals
0,22
postcript
pdf
fpf-vals(
eq
;
P
;
f
) == let
L
= filter(
P
;remove-repeats(
eq
;1of(
f
))) in zip(
L
;map(2of(
f
);
L
))
latex
Definitions
let
x
=
a
in
b
(
x
)
,
filter(
P
;
l
)
,
remove-repeats(
eq
;
L
)
,
1of(
t
)
,
zip(
as
;
bs
)
,
map(
f
;
as
)
,
2of(
t
)
FDL editor aliases
fpf-vals
origin